<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2004, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Facilities for tuning up the garbage collection mechanism. This class may be used as ancestor by classes needing its facilities.">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>memory Flat contracts</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="memory_chart.html">Chart</A></TD><TD><A HREF="memory_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE><B>indexing</B>
    description: "[
        Facilities for tuning up the garbage collection mechanism.
        This class may be used as ancestor by classes needing its facilities.
    ]"
    library: "Free implementation of ELKS library"
    copyright: "Copyright (c) 1986-2004, Eiffel Software and others"
    license: "Eiffel Forum License v2 (see forum.txt)"
    date: "$Date: 2008-08-07 23:00:50 +0200 (Thu, 07 Aug 2008) $"
    revision: "$Revision: 184 $"

<B>class</B> <B>interface</B>
    <A HREF="../base/memory_flatshort.html">MEMORY</A>


<B>create</B> 
    <A NAME="f_default_create"><A HREF="../base/any_flatshort.html#f_default_create">default_create</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process instances of classes with no creation clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Access</FONT>

    <A NAME="f_c_memory"><A HREF="../base/mem_const_flatshort.html#f_c_memory">c_memory</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 2</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Code for the C memory managed</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> by the garbage collector</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mem_const_flatshort.html">MEM_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_eiffel_memory"><A HREF="../base/mem_const_flatshort.html#f_eiffel_memory">eiffel_memory</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Code for the Eiffel memory managed</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> by the garbage collector</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mem_const_flatshort.html">MEM_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_full_collector"><A HREF="../base/mem_const_flatshort.html#f_full_collector">full_collector</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 0</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Statistics for full collections</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mem_const_flatshort.html">MEM_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_generating_type"><A HREF="../base/any_flatshort.html#f_generating_type">generating_type</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generating_type_not_void: <B>Result</B> /= <B>Void</B>
            generating_type_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_generator"><A HREF="../base/any_flatshort.html#f_generator">generator</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Name of current object's generating class</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (base class of the type of which it is a direct instance)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            generator_not_void: <B>Result</B> /= <B>Void</B>
            generator_not_empty: <B>not</B> <B>Result</B>.<A HREF="../base/finite_flatshort.html#f_is_empty">is_empty</A>
</A>
    <A NAME="f_incremental_collector"><A HREF="../base/mem_const_flatshort.html#f_incremental_collector">incremental_collector</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 1</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Statistics for incremental collections</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mem_const_flatshort.html">MEM_CONST</A><FONT COLOR="red">)</FONT>

    <A NAME="f_total_memory"><A HREF="../base/mem_const_flatshort.html#f_total_memory">total_memory</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A> <B>is</B> 0</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Code for all the memory managed</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> by the garbage collector</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/mem_const_flatshort.html">MEM_CONST</A><FONT COLOR="red">)</FONT>
    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Measurement</FONT>

    <A NAME="f_gc_statistics"><A HREF="../base/memory_flatshort.html#f_gc_statistics">gc_statistics</A> (collector_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/gc_info_flatshort.html">GC_INFO</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Garbage collection information for </FONT>`collector_type'<FONT COLOR="red">.</FONT>
        <B>require</B>
            type_ok: collector_type = <A HREF="../base/mem_const_flatshort.html#f_full_collector">full_collector</A> <B>or</B> collector_type = <A HREF="../base/mem_const_flatshort.html#f_incremental_collector">incremental_collector</A>
</A>
    <A NAME="f_memory_statistics"><A HREF="../base/memory_flatshort.html#f_memory_statistics">memory_statistics</A> (memory_type: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/mem_info_flatshort.html">MEM_INFO</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Memory usage information for </FONT>`memory_type'
        <B>require</B>
            type_ok: memory_type = <A HREF="../base/mem_const_flatshort.html#f_total_memory">total_memory</A> <B>or</B> memory_type = <A HREF="../base/mem_const_flatshort.html#f_eiffel_memory">eiffel_memory</A> <B>or</B> memory_type = <A HREF="../base/mem_const_flatshort.html#f_c_memory">c_memory</A>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Comparison</FONT>

    <A NAME="f_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> or attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some, other) <B>implies</B> <B>Result</B>
            both_or_none_void: (some = <B>Void</B>) <B>implies</B> (<B>Result</B> = (other = <B>Void</B>))
            same_type: (<B>Result</B> <B>and</B> (some /= <B>Void</B>)) <B>implies</B> (other /= <B>Void</B> <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other))
            symmetric: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (other, some)
</A>
    <A NAME="f_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_equal">equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to objects considered equal?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other))
</A>
    <A NAME="f_is_deep_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`Current'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> attached to isomorphic object structures?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            shallow_implies_deep: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_deep_equal">is_deep_equal</A> (<B>Current</B>)
</A>
    <A NAME="f_is_equal"><A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> equal to current object?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
            consistent: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other) <B>implies</B> <B>Result</B>
</A>
    <A NAME="f_standard_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>; other: <B>like</B> arg #1): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Are </FONT>`some'<FONT COLOR="red"> and </FONT>`other'<FONT COLOR="red"> either both void or attached to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> field-by-field identical objects of the same type?</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default object comparison criterion.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (some = <B>Void</B> <B>and</B> other = <B>Void</B>) <B>or else</B> ((some /= <B>Void</B> <B>and</B> other /= <B>Void</B>) <B>and then</B> some.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other))
</A>
    <A NAME="f_standard_is_equal"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is </FONT>`other'<FONT COLOR="red"> attached to an object of the same type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as current object, and field-by-field identical to it?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            same_type: <B>Result</B> <B>implies</B> <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
            symmetric: <B>Result</B> <B>implies</B> other.<A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status report</FONT>

    <A NAME="f_chunk_size"><A HREF="../base/memory_flatshort.html#f_chunk_size">chunk_size</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Minimal size of a memory chunk. The run-time always</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> allocates a multiple of this size.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_MEMORY_CHUNK</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
</A>
    <A NAME="f_coalesce_period"><A HREF="../base/memory_flatshort.html#f_coalesce_period">coalesce_period</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Period of full coalesce (in number of collections)</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_FULL_COALESCE_PERIOD</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If null, no full coalescing is launched.</FONT>
</A>
    <A NAME="f_collecting"><A HREF="../base/memory_flatshort.html#f_collecting">collecting</A>: <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is garbage collection enabled?</FONT>
</A>
    <A NAME="f_collection_period"><A HREF="../base/memory_flatshort.html#f_collection_period">collection_period</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Period of full collection.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_FULL_COLLECTION_PERIOD</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If null, no full collection is launched.</FONT>
</A>
    <A NAME="f_conforms_to"><A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Does type of current object conform to type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of </FONT>`other'<FONT COLOR="red"> (as per Eiffel: The Language, chapter 13)?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
</A>
    <A NAME="f_generation_object_limit"><A HREF="../base/memory_flatshort.html#f_generation_object_limit">generation_object_limit</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Maximum size of object in generational scavenge zone.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_GS_LIMIT</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
</A>
    <A NAME="f_largest_coalesced_block"><A HREF="../base/memory_flatshort.html#f_largest_coalesced_block">largest_coalesced_block</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Size of largest coalesced block since last call to</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT>`largest_coalesced'<FONT COLOR="red">; 0 if none.</FONT>
</A>
    <A NAME="f_max_mem"><A HREF="../base/memory_flatshort.html#f_max_mem">max_mem</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Maximum amount of bytes the run-time can allocate.</FONT>
</A>
    <A NAME="f_memory_count_map"><A HREF="../base/memory_flatshort.html#f_memory_count_map">memory_count_map</A>: <A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A> [<A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>, <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Number of instances per dynamic type present in system.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Same as </FONT><A HREF="../base/memory_flatshort.html#f_memory_map">memory_map</A><FONT COLOR="red"> except that no references on the objects themselves</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is kept.</FONT>
</A>
    <A NAME="f_memory_map"><A HREF="../base/memory_flatshort.html#f_memory_map">memory_map</A>: <A HREF="../base/hash_table_flatshort.html">HASH_TABLE</A> [<A HREF="../base/arrayed_list_flatshort.html">ARRAYED_LIST</A> [<A HREF="../base/any_flatshort.html">ANY</A>], <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Retrieves all object in system as a table indexed by dynamic type</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> where elements are all instances of a given data type.</FONT>
</A>
    <A NAME="f_memory_threshold"><A HREF="../base/memory_flatshort.html#f_memory_threshold">memory_threshold</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Minimum amount of bytes to be allocated before</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> starting an automatic garbage collection.</FONT>
</A>
    <A NAME="f_objects_instance_of"><A HREF="../base/memory_flatshort.html#f_objects_instance_of">objects_instance_of</A> (an_object: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/special_flatshort.html">SPECIAL</A> [<A HREF="../base/any_flatshort.html">ANY</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects that have same dynamic type as </FONT>`an_object'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_objects_instance_of_type"><A HREF="../base/memory_flatshort.html#f_objects_instance_of_type">objects_instance_of_type</A> (a_type_id: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>): <A HREF="../base/special_flatshort.html">SPECIAL</A> [<A HREF="../base/any_flatshort.html">ANY</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects that have same dynamic type as </FONT>`an_object'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_referers"><A HREF="../base/memory_flatshort.html#f_referers">referers</A> (an_object: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/special_flatshort.html">SPECIAL</A> [<A HREF="../base/any_flatshort.html">ANY</A>]
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects that refer to </FONT>`an_object'<FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_same_type"><A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other: <A HREF="../base/any_flatshort.html">ANY</A>): <A HREF="../base/boolean_flatshort.html">BOOLEAN</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Is type of current object identical to type of </FONT>`other'<FONT COLOR="red">?</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            definition: <B>Result</B> = (<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (other) <B>and</B> other.<A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>))
</A>
    <A NAME="f_scavenge_zone_size"><A HREF="../base/memory_flatshort.html#f_scavenge_zone_size">scavenge_zone_size</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Size of generational scavenge zone.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_MEMORY_SCAVENGE</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
</A>
    <A NAME="f_tenure"><A HREF="../base/memory_flatshort.html#f_tenure">tenure</A>: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Maximum age of object before being considered</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> as old (old objects are not scanned during</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> partial collection).</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If the environment variable EIF_TENURE_MAX</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> is defined, it is set to the closest reasonable</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> value from it.</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Status setting</FONT>

    <A NAME="f_allocate_compact"><A HREF="../base/memory_flatshort.html#f_allocate_compact">allocate_compact</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enter `</FONT>`memory'<FONT COLOR="red">' mode: will try to compact memory</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> before requesting more from the operating system.</FONT>
</A>
    <A NAME="f_allocate_fast"><A HREF="../base/memory_flatshort.html#f_allocate_fast">allocate_fast</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enter `</FONT>`speed'<FONT COLOR="red">' mode: will optimize speed of memory</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> allocation rather than memory usage.</FONT>
</A>
    <A NAME="f_allocate_tiny"><A HREF="../base/memory_flatshort.html#f_allocate_tiny">allocate_tiny</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enter `</FONT>`tiny'<FONT COLOR="red">' mode: will enter `</FONT>`memory'<FONT COLOR="red">' mode</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> after having freed as much memory as possible.</FONT>
</A>
    <A NAME="f_collection_off"><A HREF="../base/memory_flatshort.html#f_collection_off">collection_off</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Disable garbage collection.</FONT>
</A>
    <A NAME="f_collection_on"><A HREF="../base/memory_flatshort.html#f_collection_on">collection_on</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enable garbage collection.</FONT>
</A>
    <A NAME="f_disable_time_accounting"><A HREF="../base/memory_flatshort.html#f_disable_time_accounting">disable_time_accounting</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Disable GC time accounting (default).</FONT>
</A>
    <A NAME="f_enable_time_accounting"><A HREF="../base/memory_flatshort.html#f_enable_time_accounting">enable_time_accounting</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Enable GC time accouting, accessible in </FONT><A HREF="../base/memory_flatshort.html#f_gc_statistics">gc_statistics</A><FONT COLOR="red">.</FONT>
</A>
    <A NAME="f_execute_without_collection"><A HREF="../base/memory_flatshort.html#f_execute_without_collection">execute_without_collection</A> (a_action: <A HREF="../base/procedure_flatshort.html">PROCEDURE</A> [<A HREF="../base/any_flatshort.html">ANY</A>, <A HREF="../base/tuple_flatshort.html">TUPLE</A>])
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute </FONT>`a_action'<FONT COLOR="red"> with the garbage collector disabled.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> If </FONT>`a_action'<FONT COLOR="red"> modifies the status of </FONT><A HREF="../base/memory_flatshort.html#f_collecting">collecting</A><FONT COLOR="red">, we restore</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> it no matter what at the end.</FONT>
        <B>require</B>
            a_action_not_void: a_action /= <B>Void</B>
        <B>ensure</B>
            collection_status_preserved: <A HREF="../base/memory_flatshort.html#f_collecting">collecting</A> = <B>old</B> <A HREF="../base/memory_flatshort.html#f_collecting">collecting</A>
</A>
    <A NAME="f_set_coalesce_period"><A HREF="../base/memory_flatshort.html#f_set_coalesce_period">set_coalesce_period</A> (value: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/memory_flatshort.html#f_coalesce_period">coalesce_period</A><FONT COLOR="red">. Every </FONT>`value'<FONT COLOR="red"> collection,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> the Garbage Collector will coalesce</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> the whole memory.</FONT>
        <B>require</B>
            positive_value: value &gt;= 0
</A>
    <A NAME="f_set_collection_period"><A HREF="../base/memory_flatshort.html#f_set_collection_period">set_collection_period</A> (value: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set </FONT><A HREF="../base/memory_flatshort.html#f_collection_period">collection_period</A><FONT COLOR="red">. Every </FONT>`value'<FONT COLOR="red"> collection,</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> the Garbage collector will perform a collection</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on the whole memory (full collection), otherwise</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> a simple partial collection is done.</FONT>
        <B>require</B>
            positive_value: value &gt;= 0
</A>
    <A NAME="f_set_max_mem"><A HREF="../base/memory_flatshort.html#f_set_max_mem">set_max_mem</A> (value: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set the maximum amount of memory the run-time can allocate.</FONT>
        <B>require</B>
            positive_value: value &gt; 0
</A>
    <A NAME="f_set_memory_threshold"><A HREF="../base/memory_flatshort.html#f_set_memory_threshold">set_memory_threshold</A> (value: <A HREF="../base/integer_32_flatshort.html">INTEGER_32</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Set a new </FONT><A HREF="../base/memory_flatshort.html#f_memory_threshold">memory_threshold</A><FONT COLOR="red"> in bytes. Whenever the memory</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> allocated for Eiffel reaches this value, an automatic</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> collection is performed.</FONT>
        <B>require</B>
            positive_value: value &gt; 0
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Removal</FONT>

    <A NAME="f_collect"><A HREF="../base/memory_flatshort.html#f_collect">collect</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Force a partial collection cycle if garbage</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> collection is enabled; do nothing otherwise.</FONT>
</A>
    <A NAME="f_dispose"><A HREF="../base/memory_flatshort.html#f_dispose">dispose</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Action to be executed just before garbage collection</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> reclaims an object.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default version does nothing; redefine in descendants</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to perform specific dispose actions. Those actions</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> should only take care of freeing external resources;</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> they should not perform remote calls on other objects</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> since these may also be dead and reclaimed.</FONT>
</A>
    <A NAME="f_free"><A HREF="../base/memory_flatshort.html#f_free">free</A> (object: <A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Free </FONT>`object'<FONT COLOR="red">, by-passing garbage collection.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Erratic behavior will result if the object is still</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> referenced.</FONT>
</A>
    <A NAME="f_full_coalesce"><A HREF="../base/memory_flatshort.html#f_full_coalesce">full_coalesce</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Coalesce the whole memory: merge adjacent free</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> blocks to reduce fragmentation. Useful, when</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> a lot of memory is allocated with garbage collector off.</FONT>
</A>
    <A NAME="f_full_collect"><A HREF="../base/memory_flatshort.html#f_full_collect">full_collect</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Force a full collection cycle if garbage</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> collection is enabled; do nothing otherwise.</FONT>
</A>
    <A NAME="f_mem_free"><A HREF="../base/memory_flatshort.html#f_mem_free">mem_free</A> (addr: <A HREF="../base/pointer_flatshort.html">POINTER</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Free memory of object at </FONT>`addr'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Preferred interface is </FONT><A HREF="../base/memory_flatshort.html#f_free">free</A><FONT COLOR="red">.)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Duplication</FONT>

    <A NAME="f_copy"><A HREF="../base/any_flatshort.html#f_copy">copy</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Update current object using fields of object attached</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> to </FONT>`other'<FONT COLOR="red">, so as to yield equal objects.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_equal: <A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (other)
</A>
    <A NAME="f_deep_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_copy">deep_copy</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Effect equivalent to that of:</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red">		</FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red"> (</FONT>`other'<FONT COLOR="red"> . </FONT><A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A><FONT COLOR="red">)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, other)
</A>
    <A NAME="f_deep_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_deep_twin">deep_twin</A>: <A HREF="../base/memory_flatshort.html">MEMORY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object structure recursively duplicated from Current.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            deep_twin_not_void: <B>Result</B> /= <B>Void</B>
            deep_equal: <A HREF="../base/any_flatshort.html#f_deep_equal">deep_equal</A> (<B>Current</B>, <B>Result</B>)
</A>
    <A NAME="f_standard_copy"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_copy">standard_copy</A> (other: <A HREF="../base/memory_flatshort.html">MEMORY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Copy every field of </FONT>`other'<FONT COLOR="red"> onto corresponding field</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>require</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            other_not_void: other /= <B>Void</B>
            type_identity: <A HREF="../base/any_flatshort.html#f_same_type">same_type</A> (other)
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            is_standard_equal: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (other)
</A>
    <A NAME="f_standard_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_standard_twin">standard_twin</A>: <A HREF="../base/memory_flatshort.html">MEMORY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object field-by-field identical to </FONT>`other'<FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Always uses default copying semantics.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            standard_twin_not_void: <B>Result</B> /= <B>Void</B>
            equal: <A HREF="../base/any_flatshort.html#f_standard_equal">standard_equal</A> (<B>Result</B>, <B>Current</B>)
</A>
    <A NAME="f_twin"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_twin">twin</A>: <A HREF="../base/memory_flatshort.html">MEMORY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New object equal to </FONT>`Current'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> </FONT><A HREF="../base/any_flatshort.html#f_twin">twin</A><FONT COLOR="red"> calls </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">; to change copying/twining semantics, redefine </FONT><A HREF="../base/any_flatshort.html#f_copy">copy</A><FONT COLOR="red">.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            twin_not_void: <B>Result</B> /= <B>Void</B>
            is_equal: <B>Result</B>.<A HREF="../base/any_flatshort.html#f_is_equal">is_equal</A> (<B>Current</B>)
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Basic operations</FONT>

    <A NAME="f_default"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default">default</A>: ?<A HREF="../base/memory_flatshort.html">MEMORY</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of object's type</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_pointer"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_default_pointer">default_pointer</A>: <A HREF="../base/pointer_flatshort.html">POINTER</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Default value of type </FONT>`POINTER'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Avoid the need to write </FONT>`p'<FONT COLOR="red">.</FONT><A HREF="../base/any_flatshort.html#f_default">default</A><FONT COLOR="red"> for</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> some </FONT>`p'<FONT COLOR="red"> of type </FONT>`POINTER'<FONT COLOR="red">.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_default_rescue"><A HREF="../base/any_flatshort.html#f_default_rescue">default_rescue</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Process exception for routines with no Rescue clause.</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> (Default: do nothing.)</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_do_nothing"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_do_nothing">do_nothing</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Execute a null action.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Output</FONT>

    <A NAME="f_io"><A HREF="../base/any_flatshort.html#f_io">io</A>: <A HREF="../base/std_files_flatshort.html">STD_FILES</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Handle to standard file setup</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            io_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_out"><A HREF="../base/any_flatshort.html#f_out">out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            out_not_void: <B>Result</B> /= <B>Void</B>
</A>
    <A NAME="f_print"><A HREF="../base/any_flatshort.html#f_print">print</A> (some: ?<A HREF="../base/any_flatshort.html">ANY</A>)
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Write terse external representation of </FONT>`some'
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> on standard output.</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
</A>
    <A NAME="f_tagged_out"><B>frozen</B> <A HREF="../base/any_flatshort.html#f_tagged_out">tagged_out</A>: <A HREF="../base/string_8_flatshort.html">STRING_8</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> New string containing terse printable representation</FONT>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> of current object</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            tagged_out_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>feature</B> <FONT COLOR="red">--</FONT><FONT COLOR="red"> Platform</FONT>

    <A NAME="f_operating_environment"><A HREF="../base/any_flatshort.html#f_operating_environment">operating_environment</A>: <A HREF="../base/operating_environment_flatshort.html">OPERATING_ENVIRONMENT</A>
            <FONT COLOR="red">--</FONT><FONT COLOR="red"> Objects available from the operating system</FONT>
            <FONT COLOR="red">--</FONT> <FONT COLOR="red">(from </FONT><A HREF="../base/any_flatshort.html">ANY</A><FONT COLOR="red">)</FONT>
        <B>ensure</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
            operating_environment_not_void: <B>Result</B> /= <B>Void</B>
</A>    
<B>invariant</B>
        <FONT COLOR="red">--</FONT> <FONT COLOR="red">from </FONT><A HREF="../base/any_flatshort.html">ANY</A>
    reflexive_equality: <A HREF="../base/any_flatshort.html#f_standard_is_equal">standard_is_equal</A> (<B>Current</B>)
    reflexive_conformance: <A HREF="../base/any_flatshort.html#f_conforms_to">conforms_to</A> (<B>Current</B>)

<B>end</B> <FONT COLOR="red">--</FONT> <FONT COLOR="red">class </FONT><A HREF="../base/memory_flatshort.html">MEMORY</A><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD><A HREF="memory_chart.html">Chart</A></TD><TD><A HREF="memory_links.html">Relations</A></TD><TD>Flat contracts</TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>

